#pragma once

static inline void wake_up_nohz_cpu(int cpu) { }
